Dana P. Scott: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || Gödel's Ontological Proof and Its Variants

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

Language:

english

File:

PDF, 158 KB

english, 2011

2

Foundational Aspects of Theories of Measurement

Dana Scott and Patrick Suppes

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 538 KB

english, 1958

3

A proof of the independence of the continuum hypothesis

Journal:

Theory of Computing Systems

Year:

1967

Language:

english

File:

PDF, 1.49 MB

english, 1967

4

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || The Gödel Phenomenon in Mathematics: A Modern View

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

File:

PDF, 298 KB

2011

5

Dispositional Forgiveness of Self, Others, and Situations

Laura Yamhure Thompson, C. R. Snyder, Lesa Hoffman, Scott T. Michael, Heather N. Rasmussen, Laura S. Billings, Laura Heinze, Jason E. Neufeld, Hal S. Shorey, Jessica C. Roberts, Danae E. Roberts

Journal:

Journal of Personality

Year:

2005

Language:

english

File:

PDF, 229 KB

english, 2005

6

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || The Transfinite Universe

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

File:

PDF, 210 KB

2011

7

Prophylactic and therapeutic remdesivir (GS-5734) treatment in the rhesus macaque model of MERS-CoV infection

de Wit, Emmie, Feldmann, Friederike, Cronin, Jacqueline, Jordan, Robert, Okumura, Atsushi, Thomas, Tina, Scott, Dana, Cihlar, Tomas, Feldmann, Heinz

Journal:

Proceedings of the National Academy of Sciences

Year:

2020

Language:

english

File:

PDF, 1.21 MB

english, 2020

8

Reconsidering Ordered Pairs

Dana Scott and Dominic McCarty

Journal:

Bulletin of Symbolic Logic

Year:

2008

Language:

english

File:

PDF, 1.73 MB

english, 2008

9

Data Types as Lattices

Journal:

SIAM Journal on Computing

Year:

1976

Language:

english

File:

PDF, 7.06 MB

english, 1976

10

Methods for interaction analyses using family-based case-control data: conditional logistic regression versus generalized estimating equations

Dana B. Hancock, Eden R. Martin, Yi-Ju Li, William K. Scott

Journal:

Genetic Epidemiology

Year:

2007

Language:

english

File:

PDF, 145 KB

english, 2007

11

Measurement structures and linear inequalities

Journal:

Journal of Mathematical Psychology

Year:

1964

Language:

english

File:

PDF, 798 KB

english, 1964

12

ACM Turing Award Lectures || Logic and programming languages

Year:

2007

Language:

english

File:

PDF, 1.28 MB

english, 2007

13

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || Computation and Intractability: Echoes of Kurt Gödel

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

Language:

english

File:

PDF, 189 KB

english, 2011

14

Semantical archaeology: A parable

Journal:

Year:

1970

Language:

english

File:

PDF, 497 KB

english, 1970

15

[Studies in Logic and the Foundations of Mathematics] The Kleene Symposium Volume 101 || Lambda Calculus: Some Models, Some Philosophy

Year:

1980

Language:

english

File:

PDF, 2.23 MB

english, 1980

16

Vocal Traditions: Miller Voice Method

Miller, Scott, Patrick, John, Joynt, Liam, Dana, Kristi

Journal:

Voice and Speech Review

Year:

2018

Language:

english

File:

PDF, 911 KB

english, 2018

17

Affective behavior during mother–daughter conflict and borderline personality disorder severity across adolescence.

Whalen, Diana J., Scott, Lori N., Jakubowski, Karen P., McMakin, Dana L., Hipwell, Alison E., Silk, Jennifer S., Stepp, Stephanie D.

Journal:

Personality Disorders: Theory, Research, and Treatment

Year:

2014

Language:

english

File:

PDF, 162 KB

english, 2014

18

Revisiting the Link: Evidence of the Rates of Autism in Studies of Gender Diverse Individuals

Strang, John F., Janssen, Aron, Tishelman, Amy, Leibowitz, Scott F., Kenworthy, Lauren, McGuire, Jenifer K., Edwards-Leeper, Laura, Mazefsky, Carla A., Rofey, Dana, Bascom, Julia, Caplan, Reid, Gomez-

Journal:

Journal of the American Academy of Child & Adolescent Psychiatry

Year:

2018

Language:

english

File:

PDF, 130 KB

english, 2018

19

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || Short Biography of Kurt Gödel

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

File:

PDF, 432 KB

2011

20

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || From the Entscheidungsproblem to the Personal Computer – and Beyond

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

Language:

english

File:

PDF, 5.06 MB

english, 2011

21

Current Research and Technological Developments on the Dead Sea Scrolls (Conference on the Texts from the Judean Desert, Jerusalem, 30 April 1995) ||

Parry, Donald, Moore Cross, Frank, Parry, Donald, Elgvin, Torleif, Pike, Dana, Rolph Seely, David, Woodward, Scott, Kahila, Gila, Smith, Patricia, Greenblatt, Charles, Zias, Joe, Broshi, Magen, Booras

Year:

1996

File:

PDF, 25.38 MB

1996

22

Efficacy of an Adjuvanted Middle East Respiratory Syndrome Coronavirus Spike Protein Vaccine in Dromedary Camels and Alpacas

Adney, Danielle, Wang, Lingshu, van Doremalen, Neeltje, Shi, Wei, Zhang, Yi, Kong, Wing-Pui, Miller, Megan, Bushmaker, Trenton, Scott, Dana, de Wit, Emmie, Modjarrad, Kayvon, Petrovsky, Nikolai, Graha

Journal:

Year:

2019

Language:

english

File:

PDF, 4.74 MB

english, 2019

23

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || “Dozent Gödel Will Not Lecture”

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

Language:

english

File:

PDF, 172 KB

english, 2011

24

[Society of Petroleum Engineers SPE Asia Pacific Oil and Gas Conference - Adelaide, Australia (1996-10-28)] SPE Asia Pacific Oil and Gas Conference - Development, Testing, and Field Case Histories of Multilateral Well Completion Systems

Longbottom, J.R., Dale, Dana, Waddell, Kevin, Bruha, Scott, Roberts, John

Language:

english

File:

PDF, 1.17 MB

english

25

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || Gödel, the Mind, and the Laws of Physics

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

Language:

english

File:

PDF, 498 KB

english, 2011

26

Teacher–Student Relationship Climate and School Outcomes: Implications for Educational Policy Initiatives

John P. Barile, Dana K. Donohue, Elizabeth R. Anthony, Andrew M. Baker, Scott R. Weaver, Christopher C. Henrich

Journal:

Journal of Youth and Adolescence

Year:

2012

Language:

english

File:

PDF, 235 KB

english, 2012

27

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || Logical Hygiene, Foundations, and Abstractions: Diversity among Aspects and Options

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

Language:

english

File:

PDF, 247 KB

english, 2011

28

Exploring multiple profiles of highly rated learner compositions

Scott Jarvis, Leslie Grant, Dawn Bikowski, Dana Ferris

Journal:

Journal of Second Language Writing

Year:

2003

Language:

english

File:

PDF, 192 KB

english, 2003

29

[Lecture Notes in Mathematics] Applications of Sheaves Volume 753 || Fragments of the history of sheaf theory

Fourman, Michael, Mulvey, Christopher, Scott, Dana

Year:

1979

Language:

english

File:

PDF, 3.49 MB

english, 1979

30

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || Gödel, Einstein, Mach, Gamow, and Lanczos: Gödel's Remarkable Excursion into Cosmology

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

Language:

english

File:

PDF, 1.83 MB

english, 2011

31

Seeing it their way: Evidence for rapid and involuntary computation of what other people see.

Samson, Dana, Apperly, Ian A., Braithwaite, Jason J., Andrews, Benjamin J., Bodley Scott, Sarah E.

Journal:

Journal of Experimental Psychology: Human Perception and Performance

Year:

2010

Language:

english

File:

PDF, 259 KB

english, 2010

32

A digital twin based on OpenFAST linearizations for real-time load and fatigue estimation of land-based turbines

Branlard, Emmanuel, Jonkman, Jason, Dana, Scott, Doubrawa, Paula

Journal:

Journal of Physics Conference Series

Year:

2020

File:

PDF, 1.73 MB

2020

33

PolyJet 3D-Printed Enclosed Microfluidic Channels without Photocurable Supports

Castiaux, Andre D, Pinger, Cody, Hayter, Elizabeth A, Bunn, Marcus E., Martin, R. Scott, Spence, Dana M.

Journal:

Analytical Chemistry

Year:

2019

Language:

english

File:

PDF, 830 KB

english, 2019

34

Humans take control of fire-driven diversity changes in Mediterranean Iberia’s vegetation during the mid–late Holocene

Connor, Simon E, Vannière, Boris, Colombaroli, Daniele, Anderson, R Scott, Carrión, José S, Ejarque, Ana, Gil Romera, Graciela, González-Sampériz, Penélope, Hoefer, Dana, Morales-Molino, César, Revell

Journal:

Year:

2019

Language:

english

File:

PDF, 448 KB

english, 2019

35

Sixty-Eighth Annual Meeting of the American Philosophical Association Eastern Division || On Engendering an Illusion of Understanding

Journal:

The Journal of Philosophy

Year:

1971

Language:

english

File:

PDF, 1.67 MB

english, 1971

36

Kaiser Permanente's Community Health Initiative in Northern California: Evaluation Findings and Lessons Learned

Cheadle, Allen, Rauzon, Suzanne, Spring, Rebecca, Schwartz, Pamela M, Gee, Scott, Gonzalez, Esmeralda, Ravel, Jodi, Reilly, Coire, Taylor, Anthony, Williamson, Dana

Journal:

American Journal of Health Promotion

Year:

2012

Language:

english

File:

PDF, 442 KB

english, 2012

37

Ignatian Spirituality and Career Development: New Evidence for Age-Old Practices

Campanario, Scott C., Bikos, Lynette H., Kendall, Dana L.

Journal:

Journal of Career Development

Year:

2020

File:

PDF, 267 KB

2020

38

A type-theoretical alternative to ISWIM, CUCH, OWHY

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 1.89 MB

english, 1993

39

Some Reflections on Strachey and His Work

Journal:

Higher-Order and Symbolic Computation

Year:

2000

Language:

english

File:

PDF, 46 KB

english, 2000

40

[Lecture Notes in Mathematics] Applications of Sheaves Volume 753 || Sheaf theory and zero-dimensional mappings

Fourman, Michael, Mulvey, Christopher, Scott, Dana

Year:

1979

Language:

english

File:

PDF, 527 KB

english, 1979

41

Some definitional suggestions for automata theory

Journal:

Journal of Computer and System Sciences

Year:

1967

Language:

english

File:

PDF, 1.16 MB

english, 1967

42

Insolubility of the Problem of Homeomorphyby A. A. Markov

Review by: Dana Scott

Journal:

Journal of Symbolic Logic

Year:

1962

Language:

english

File:

PDF, 103 KB

english, 1962

43

Site-specific climatic signals in stable isotope records from Swedish pine forests

Esper, Jan, Holzkämper, Steffen, Büntgen, Ulf, Schöne, Bernd, Keppler, Frank, Hartl, Claudia, George, Scott St., Riechelmann, Dana F. C., Treydte, Kerstin

Journal:

Year:

2018

Language:

english

File:

PDF, 3.14 MB

english, 2018

44

Hydroclimatic and channel snowpack controls over suspended sediment and grain size transport in a High Arctic catchment

Dana M. McDonald, Scott F. Lamoureux

Journal:

Earth Surface Processes and Landforms

Year:

2009

Language:

english

File:

PDF, 953 KB

english, 2009

45

[Studies in Logic and the Foundations of Mathematics] The Axiomatic Method Volume 27 || Dimension in Elementary Euclidean Geometry

Year:

1959

Language:

english

File:

PDF, 981 KB

english, 1959

46

Contextualizing Nature of Science Instruction in Socioscientific Issues

Eastwood, Jennifer Lynne, Sadler, Troy D., Zeidler, Dana L., Lewis, Anna, Amiri, Leila, Applebaum, Scott

Journal:

International Journal of Science Education

Year:

2012

Language:

english

File:

PDF, 285 KB

english, 2012

47

On a Theorem of Vaughtby Leon Henkin

Review by: Dana Scott

Journal:

Journal of Symbolic Logic

Year:

1959

Language:

english

File:

PDF, 187 KB

english, 1959

48

[Lecture Notes in Mathematics] Higher Set Theory Volume 669 || The evolution of large cardinal axioms in set theory

Müller, Gert H., Scott, Dana S.

Year:

1978

Language:

english

File:

PDF, 8.52 MB

english, 1978

49

CAN MODALITIES SAVE NAIVE SET THEORY?

FRITZ, PETER, LEDERMAN, HARVEY, LIU, TIANKAI, SCOTT, DANA

Journal:

The Review of Symbolic Logic

Year:

2017

Language:

english

File:

PDF, 251 KB

english, 2017

50

Semantics of Natural Language, I || Semantical Archaeology: A Parable

Journal:

Year:

1970

Language:

english

File:

PDF, 1.01 MB

english, 1970

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски